Lyon 2e - 27 rue Auguste Comte

Auguste D and Alzheimer's disease.

On Nov 4, 1906, Alois Alzheimer gave a remarkable lecture, in which he described for the first time a form of dementia that subsequently, at the suggestion of Emil Kraepelin, became known as Alzheimer’s disease. In his lecture, at the 37th Conference of South-West German Psychiatrists in Tübingen, Alzheimer described a patient called Auguste D, a 51-year-old woman from Frankfurt who had shown p...

Results about Rue Resolution

Extensional Higher-Order Paramodulation and RUE-Resolution

This paper presents two approaches to primitive equality treatment in higher-order (HO) automated theorem proving: a calculus EP adapting traditional first-order (FO) paramodulation [RW69] , and a calculus ERUE adapting FO RUE-Resolution [Dig79] to classical type theory, i.e., HO logic based on Church’s simply typed λ-calculus. EP and ERUE extend the extensional HO resolution approach ER [BK98a...

35 rue Saint-Honoré, Fontainebleau

The graph matching problem is among the most important challenges of graph processing, and plays a central role in various fields of pattern recognition. We propose an approximate method for labeled weighted graph matching, based on a convexconcave programming approach which can be applied to the matching of large sized graphs. This method allows to easily integrate information on graph label s...

Bruce Lyon

communities. Many communities and tribal governments have established research and ethics review boards to evaluate proposed projects in their communities, stemming from a growing awareness and sophistication of issues surrounding genetic and biomedical research, including individual versus community (or cultural) risk, adequacy of individual versus community consent issues, confidentiality, re...